1. Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
پدیدآورنده : / Gabriele Puppis
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Computer logic,Branching processes,Space and time,Machine theory
رده :
006
.
3
P984A
2010